-
1 дерево вывода
дерево вывода
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > дерево вывода
-
2 дерево вывода
-
3 дерево вывода
Большой англо-русский и русско-английский словарь > дерево вывода
-
4 дерево вывода
-
5 дерево вывода
1) Computers: inference tree2) Engineering: derivation treble3) Mathematics: deduction tree, generation tree4) Information technology: derivation tree5) Robots: (логического) derivation tree -
6 дерево вывода
nIT. Ableitungsbaum -
7 дерево вывода
Русско-испанский финансово-экономическому словарь > дерево вывода
-
8 дерево вывода
necon. àrbol de salida -
9 дерево вывода
nIT. (логического) arbre de dérivation, arbre de sortie -
10 дерево вывода
deduction tree, derivation tree, generation tree, inference tree -
11 дерево вывода
-
12 дерево вывода
deduction tree, derivation tree, generation tree, inference treeРусско-английский словарь по радиоэлектронике > дерево вывода
-
13 дерево вывода
Русско-английский словарь по вычислительной технике и программированию > дерево вывода
-
14 дерево вывода
deduction tree мат., derivation tree, generation tree, inference treeРусско-английский научно-технический словарь Масловского > дерево вывода
-
15 дерево вывода
-
16 дерево (логического) вывода
Robots: derivation treeУниверсальный русско-английский словарь > дерево (логического) вывода
-
17 дерево логического вывода
Logics: deduction treeУниверсальный русско-английский словарь > дерево логического вывода
-
18 derivation tree
Большой англо-русский и русско-английский словарь > derivation tree
-
19 derivation tree
Англо-русский словарь технических терминов > derivation tree
-
20 árbol de salida
См. также в других словарях:
дерево вывода — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivation tree … Справочник технического переводчика
ВЫВОДА ДЕРЕВО — способ записи выводов в исчислении, при к ром над каждым элементом Рпишутся те элементы вывода, из к рых Рполучен за одно применение вывода правила. Напр., имея вывод в к ром аксиомы, получается за одно применение правила из из из можно записать… … Математическая энциклопедия
ГРАММАТИКА БЕСКОНТЕКСТНАЯ — грамматика контекстно свободная, КС грамматика, грамматика составляющих, все правила к рой имеют вид где А вспомогательный символ и непустая цепочка (так наз. бесконтекстные правила). Языки, порождаемые такими грамматиками, наз. бесконтекстными… … Математическая энциклопедия
Формальная грамматика — Генеративная лингвистика … Википедия
Семейство ястребиные — Птицы, принадлежащие к этому семейству, характеризуются совершенно оперенными плюснами, достигающими длины среднего пальца, кругловатыми или яйцевидными, почти вертикально расположенными в восковице ноздрями и хвостом, равным половине… … Жизнь животных
Израиль — Государство Израиль, в Зап. Азии, на вост. побережье Средиземного моря. Образовано в 1948 г. на основе решения Генеральной Ассамблеи ООН от 29 ноября 1947 г. В качестве названия принято название еврейского гос ва, существовавшего примерно в этих… … Географическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… … Википедия
Алгоритм Rete — Rete[1] эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… … Википедия
My Lands — Разработчик Gravvit LLC Дата выпуска 28 июня 2010 года Жанр Компьютерная стратегическая игра Управление Клавиатура, мышь Сайт … Википедия